Melvin C. Fitting
Raymond Smullyanの指導教員としても知られる．